Biblioteca del Dpto. de Ciencias e Ingeniería de la Computación ·
Catálogo
|
|
1. | Argumentation machines : new frontiers in argument and computation / edited by Chris Reed, Timothy J. Norman. | 2004 |
|
2. | Knowledge representation and reasoning / Ronald J. Brachman, Hector J. Levesque. | 2004 |
|
3. | The limits of mathematics : a course on information theory and limits of formal reasoning / Gregory J. Chaitin. | 1998 |
|
4. | Cognitive carpentry : a blueprint for how to build a person / John L. Pollock. | 1995 |
|
5. | Reasoning about knowledge / Ronald Fagin ... [et al.]. | 1995 |
|
6. | Logic and visual information / Eric M. Hammer. | 1995 |
|
7. | Automated practical reasoning : algebraic approaches / Jochen Pfalzgraf and Dongming Wang, eds. ; with a foreword by Jim Cunningham. | 1995 |
|
8. | Constraint-based reasoning / edited by Eugene C. Freuder and Alan K. Mackworth. | 1994 |
|
9. | A perspective of constraint-based reasoning : an introductory tutorial / H.W. Güsgen, J. Hertzberg. | 1992 |
|